1121. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
267
.
P36
2001
1122. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
Author: Luca de Alfaro, Stephen Gilmore )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2165
1123. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Author: Holger Hermanns, Roberto Segala, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2399
1124. Process algebra for parallel and distributed processing
Author: / edited by Michael Alexander, William Gardner
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Formal methods (Computer science)
Classification :
QA76
.
58
.
P7664
2009
1125. Process algebra for parallel and distributed processing
Author: edited by Michael Alexander, William Gardner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing,، Formal methods )Computer science(
Classification :
QA
76
.
58
.
P75
1126. Process algebra for parallel and distributed processing
Author: edited by Michael Alexander, William Gardner
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing,، Formal methods )Computer science(
Classification :
QA
76
.
58
.
P7664
2009
1127. Process algebra for parallel and distributed processing
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Parallel processing (Electronic computers),Electronic data processing -- Distributed processing,Formal methods (Computer science)
Classification :
004
.
0151
P963
1128. Processing Symposium : Sponsored by IEEE Computer Society
Author:
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
58
.
I56
1129. Professional CUDA C programming /
Author: John Cheng, Max Grossman, Ty McKercher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture,Multiprocessors,Parallel processing (Electronic computers)
Classification :
QA76
.
9
.
A73
1130. Professional CUDA C programming /
Author: John Cheng, Max Grossman, Ty McKercher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture,Multiprocessors,Parallel processing (Electronic computers)
Classification :
QA76
.
9
.
A73
1131. Programming Environments for Parallel computing
Author: / Edited by Nigel Topham , Roland Ibbett , Thmas Bemmerl
Library: Library of Graduate Faculty of Environment of Tehran Univerdity (Tehran)
Subject: Parallel programming ( computer science ) _ congresses,Parallel Processing ( Electronic computers ) _ Congresses
Classification :
QA
76
.
642
.
I35
1992
1132. Programming and customizing the multicore propeller microcontroller
Author: Parallax Inc
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Microcontrollers, Programming,Automatic control,Parallel processing (Electronic computers),Programmable controllers
Classification :
TJ
,
223
,.
P76
,
P78
,
2010
1133. Programming and customizing the multicore propeller microcontroller: the official guide
Author: Parallax Inc
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Microcontrollers,، Automatic control,، Parallel processing )Electronic computers(,، Programmable controllers
Classification :
TJ
223
.
P76
P78
2010
1134. Programming and customizing the multicore Propeller microcontroller: the official guide
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programmable controllers,، Microcontrollers-- Programming,، Automatic control,، Parallel processing )Electronic computers(
Classification :
TJ
223
.
P76
.
P78
2010
1135. Programming environments for massively parallel distributed systems : working conference of the IFIP WG10.3, April 25-29, 1994
Author: edited by K.M. Decker, R.M. Rehmann
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
58
.
P763
1136. Programming massively parallel processors :
Author: David B. Kirk and Wen-mei W. Hwu
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture,Multiprocessors,Parallel processing (Electronic computers),Parallel programming (Computer science)
Classification :
QA76
.
642
.
K57
2010
1137. Programming massively parallel processors :
Author: David B. Kirk and Wen-mei W. Hwu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Mehrprozessorsystem,Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Parallelverarbeitung,Programmierung
Classification :
QA76
.
642
1138. Programming massively parallel processors
Author: / David B. Kirk and Wen-mei W. Hwu
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Parallel programming (Computer science),Parallel processing (Electronic computers),Multiprocessors,Computer architecture
Classification :
QA76
.
642
.
K5
2010
1139. Programming the Propeller with Spin
Author: Harprit Singh Sandhu
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Programmable controllers,Microcontrollers- Programming,Spin (Computer program language),Parallel processing (Electronic computers)
Classification :
TJ
,
223
,.
P76
,
S373
,
2010
1140. Programming the Propeller with Spin :
Author: Harprit Singh Sandhu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microcontrollers-- Programming.,Parallel processing (Electronic computers),Programmable controllers.,Spin (Computer program language),Microcontrollers-- Programming.,Mikrocontroller-- Parallelverarbeitung.,Mikrocontroller-- Programmierung.,Parallel processing (Electronic computers),Parallelverarbeitung-- Mikrocontroller.,Programmable controllers.,Spin (Computer program language)
Classification :
TJ223
.
P76
S373
2010
